What is external direct product of groups